A Formalization of Objective and Subjective Time Ontologies

This paper presents a novel formalization of temporal notions and their classification. First, objective and subjective time perceptions are discussed from a philosophical and logical viewpoint. Then, all objective and subjective temporal concept types are identified, based on McTaggart’s Aand B-series and Priorean tense logic, to which temporal events (or propositions) could be mapped. Time ontology is then defined according to a formalism previously introduced by the authors, together with a graphical representation of the proposed temporal concept type hierarchy. Temporal axioms and properties are finally identified, linking our logic with propositional logic.